翻訳と辞書 Words near each other ・ Firuz Tughlaq ・ Firuz, Kerman ・ Firuz-Shah Zarrin-Kolah ・ Firuza Alifova ・ Firuza Zubaydova ・ Firuzabad ・ Firuzabad County ・ Firuzabad District ・ First-order election ・ First-order fluid ・ First-order hold ・ First-order logic ・ First-order partial differential equation ・ First-order predicate ・ First-order reaction ・ First-order reduction ・ First-order reliability method ・ First-order second-moment method ・ First-out alarm ・ First-party ・ First-past-the-post voting ・ First-person narrative ・ First-person shooter ・ First-person shooter (disambiguation) ・ First-person shooter engine ・ First-person view (radio control) ・ First-pitch strike ・ First-preference votes ・ First-rate ・ First-run Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク First-order reduction ： ウィキペディア英語版 First-order reduction In computer science, a first-order reduction is a very weak type of reduction between two computational problems in computational complexity theory. A first-order reduction is a reduction where each component is restricted to be in the class FO of problems calculable in first-order logic. Since we have $\backslash mbox\; \backslash subsetneq\; \backslash mbox$, the first-order reductions are weaker reductions than the logspace reductions. Many important complexity classes are closed under first-order reductions, and many of the traditional complete problems are first-order complete as well (Immerman 1999 p. 49-50). For example, ST-connectivity is FO-complete for NL, and NL is closed under FO reductions (Immerman 1999, p. 51) (as are P, NP, and most other "well-behaved" classes). ==References== * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「First-order reduction」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.